Simple Component Interface Language (SCIL) - A Lightweight Formal Approach for Software Component Retrieval

Research Scholar, Mewar University, Chittorgarh, Rajasthan, INDIA. Director, Karni College, Jaipur, Rajasthan, INDIA _______________________________________________________________________________________ Abstract: In order to write an unambiguous component specification, one should include semantics of the interface model and the interaction rules with its environment in the specification. Using heavyweight formal methods can serve the purpose, but it is not practical because there will not be many people who have good mathematical skills. The main focus of this paper is to suggest an efficient Simple Component Interface Language (SCIL), a lightweight formal approach to achieving both precision and practicality. That is to say, SCIL has easy to understand syntax, but can precisely describe components. It is unrealistic for a specification language to capture everything, including signatures, behaviours and other details. Thus SCIL only focuses on the high-level behaviors of components.